翻訳と辞書
Words near each other
・ Richard Sherter
・ Richard Sherwood Satterlee
・ Richard Shiffrin
・ Richard Shilleto
・ Richard Shilling
・ Richard Shindell
・ Richard Shine
・ Richard Shirreff
・ Richard Shoberg
・ Richard Shoebridge
・ Richard Shoemaker
・ Richard Sholl
・ Richard Shone
・ Richard Shope
・ Richard Shops
Richard Shore
・ Richard Shore Smith
・ Richard Shorr
・ Richard Short
・ Richard Short (actor)
・ Richard Short (artist)
・ Richard Shorter
・ Richard Shoup
・ Richard Shoup (programmer)
・ Richard Shrimpton
・ Richard Shulmistra
・ Richard Shusterman
・ Richard Shute
・ Richard Shuttleworth
・ Richard Shuttleworth (MP)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Richard Shore : ウィキペディア英語版
Richard Shore

Richard Arnold Shore is a professor of mathematics at Cornell University who works in recursion theory. He is particularly known for his work on \mathcal, the partial order of the Turing degrees.
* Shore settled the Rogers Homogeneity Conjecture by showing that there are Turing degrees a and b such that \mathcal_a and \mathcal_b, the structures of the degrees above a and b respectively, are not isomorphic.
* In joint work with Theodore Slaman, Shore showed that the Turing jump is definable in \mathcal.
He was in 1983 an invited speaker at the International Congress of Mathematicians in Warsaw and gave a talk ''The Degrees of Unsolvability: the Ordering of Functions by Relative Computability''. In 2009 he was the Gödel Lecturer (''Reverse mathematics: the playground of logic'').〔(Gödel Lectures, Association for Symbolic Logic )〕 He was an editor from 1984 to 1993 of the Journal of Symbolic Logic and from 1993 to 2000 of the Bulletin of Symbolic Logic. In 2012 he became a fellow of the American Mathematical Society.〔(List of Fellows of the American Mathematical Society ), retrieved 2013-07-18.〕
==References==


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Richard Shore」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.